不具有属种关系的两组概念是（ ）。

• A、“演绎推理”与“三段论推理”
• B、“复合判断”与“负判断”
• C、“概念”与“概念的内涵”
• D、“思维的逻辑形式”与“判断形式”
• E、“推理”与“前提”

从 MAP 和 MIS 可以得出（ ）。

• A、SOP
• B、POS
• C、SIP
• D、PIS
• E、SAP

从真值表来验证（ （ p→q）∧﹁ p）├﹁q 是否为有效式。